Knowledge Query and Manipulation Language